Lightweight Separation
نویسنده
چکیده
Lightweight separation is a novel approach to automatic reasoning about memory updates in pointer programs. It replaces the spatial formulae of separation logic, which complicate automation, by independent assertions about the memory content and the memory layout. As a result, assertions about the content can be treated by existing reasoners. The effect of memory updates is evaluated using specialized tactics that prove disjointness of memory regions from a given memory layout.
منابع مشابه
Advanced Separation of Concerns for Dynamic, Lightweight Languages
The purpose of this dissertation is to investigate the use of advanced separation of concerns techniques—specifically, aspect-oriented programming—in the context of the problems that call for the use of dynamic, lightweight languages. Advanced separation of concerns techniques are feasible and useful for dynamic, lightweight languages. The AOPy project is an aspect-oriented system implemented i...
متن کاملA New Ultra-lightweight RFID Authentication Protocol Using Merge and Separation Operations
Since Low-cost RFID tags have very limited hardware resources, it is difficult to implement an authentication protocol which uses heavy operations such as modern ciphers or hash functions. It has been presented some ultra-lightweight RFID authentication protocols for low-cost RFID tags by using very light operations. Recently, Jeon and Yoon proposed a new ultra-lightweight RFID authentication p...
متن کاملAn Ultra-lightweight RFID Distance Bounding Protocol
Security and privacy of RFID systems have become very important issues along with their increasing applications. Recently, Jeon and Yoon proposed a new ultra-lightweight RFID authentication protocol(RAPLT) using merge and separation operations. Since their protocol uses very lightweight bitwise operations: XOR, merge, and separation operations, it will be suitable for the applications using low...
متن کاملMODELING FLEXURAL STRENGTH OF EPS LIGHTWEIGHT CONCRETE USING REGRESSION, NEURAL NETWORK AND ANFIS
Lightweight concrete (LWC) is a kind of concrete that made of lightweight aggregates or gas bubbles. These aggregates could be natural or artificial, and expanded polystyrene (EPS) lightweight concrete is the most interesting lightweight concrete and has good mechanical properties. Bulk density of this kind of concrete is between 300-2000 kg/m3. In this paper flexural strength of EPS is modeled...
متن کاملPrediction of Lightweight Aggregate Concrete Compressive Strength
Nowadays, the better performance of lightweight structures during earthquake has resulted in using lightweight concrete more than ever. However, determining the compressive strength of concrete used in these structures during their service through a none-destructive test is a popular and useful method. One of the main methods of non-destructive testing in the assessment of compressive strength...
متن کامل